/**
 * @name function-args
 * @id python/function-args
 */

import python
import util

from File f,Module mod,Scope scope,Function func,Parameter p,string fileName,string pName,string def,string scopeName
where 
isSource(f) and
scope=func.getScope() and
fileName=f.getAbsolutePath() and
mod.getFile()=f and
scopeName=getScopeName(scope) and
func.getEnclosingModule()=mod and
pName=p.getName() and
def=func.getName() and
(p=func.getAnArg() or p=func.getKwarg() or p=func.getVararg())
select fileName,scopeName,def,pName